退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:分布式系统的模块化软件模型检查
Leungwattanakit, Watcharin; Artho, Cyrille; Hagiya, Masami; Tanabe, Yoshinori; Yamamoto, Mitsuharu; Takahashi, Koichi;
机译:高效的模块化玻璃箱软件模型检查
机译:用于模块化软件模型检查的接口语法
机译:异步分布式系统的模块化结构无阻塞原子承诺协议模型检查
机译:分布式系统软件模型检查的算法,启发式和系统方法
机译:十三。医院信息系统:F.医院信息系统的战略规划:模块化分布式医院信息系统(HIS)的论点
机译:安全关键分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计中的模型检查方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。